Low for random reals and positive-measure domination
نویسندگان
چکیده
منابع مشابه
Low for Random Reals and Positive-measure Domination
The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure.
متن کاملA Basis Theorem for Π1 Classes of Positive Measure and Jump Inversion for Random Reals
We extend the Shoenfield jump inversion theorem to the members of any Π1 class P ⊆ 2 with nonzero measure; i.e., for every Σ2 set S ≥T ∅′, there is a ∆2 real A ∈ P such that A′ ≡T S. In particular, we get jump inversion for ∆2 1-random reals. 1 This paper is part of an ongoing program to study the relationship between two fundamental notions of complexity for real numbers. The first is the comp...
متن کاملRandom Reals and Ω 1 →
The purpose of this note will be to extend the results of J. Barnett and S. Todorčević concerning the influence MAא1 has on random graphs. I will demonstrate that if MAא1 holds then ω1 → (ω1, (α : α)) holds for every α < ω1 after the addition of any number of random reals.
متن کاملRecognizing Strong Random Reals
The class of strong random reals can be defined via a natural conception of effective null set. We show that the same class is also characterized by a learning-theoretic criterion of ‘recognizability’. 1. Characterizing randomness. Consider a physical process that, if suitably idealized, generates an indefinite sequence of independent random bits. One such process might be radioactive decay of ...
متن کاملNotes on random reals
The theory of random real numbers is exceedingly well-developed, and fascinating from many points of view. It is also quite challenging mathematically. The present notes are intended as no more than a gateway to the larger theory. They review just the most elementary part of the theory (bearing on Kolmogorovand Martin-Löf-randomness). We hope that the simple arguments presented here will encour...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2007
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-07-08648-0